A New Text: Seligman: "Social Value"

A Seligman-Style Tableau System

Proof systems for hybrid logic typically use @-operators to access information hidden behind modalities; this labeling approach lies at the heart of most resolution, natural deduction, and tableau systems for hybrid logic. But there is another, less well-known approach, which we have come to believe is conceptually clearer. We call this Seligman-style inference, as it was first introduced and e...

A New Segmentation Technique for Omnifont Farsi Text

A New Model for Text Coherence Evaluation using Statistical Characteristics

A New Segmentation Technique for Omnifont Farsi Text

Value Stream Costing using a New Theory: Technology Acceptance Model

Nowadays companies looking for increase of quality, flexibility and timeliness. One way to achieve these goals is lean thinking. To implementation lean production, companies are looking for waste reduction and Continuous improvement. This article Using the technology acceptance model (TAM) examined whether management accountants’ perceptions of the perceived ease of use (PEOU), or perceived use...